package com.dkd.day20250705;

import java.util.HashMap;
import java.util.Scanner;

public class Main7RE {
    public static void main(String[] args) {
        Scanner sc = new Scanner(System.in);

        // 获得数据
        String s = sc.next();
        int number = sc.nextInt();

        // 统计输入字符串的字符频率
        HashMap<Character, Integer> inputCharCount = new HashMap<>();
        for (int i = 0; i < s.length(); i++) {
            char c = s.charAt(i);
            inputCharCount.put(c, inputCharCount.getOrDefault(c, 0) + 1);
        }

        // 尝试所有可能的起始数字
        for (int start = 1; start <= 100000; start++) {
            HashMap<Character, Integer> currentCharCount = new HashMap<>();

            // 生成连续number个数字的字符串，并统计字符频率
            for (int j = 0; j < number; j++) {
                int num = start + j;
                String numStr = String.valueOf(num);
                for (int k = 0; k < numStr.length(); k++) {
                    char c = numStr.charAt(k);
                    currentCharCount.put(c, currentCharCount.getOrDefault(c, 0) + 1);
                }
            }

            // 比较字符频率是否匹配
            if (currentCharCount.equals(inputCharCount)) {
                System.out.println(start);
                return;
            }
        }

        // 如果没有找到（根据题目描述，保证有解，所以这里不会执行）
        System.out.println(-1);
    }
}
